Graphs realised by r.e. equivalence relations

نویسندگان

  • Alex Gavryushkin
  • Sanjay Jain
  • Bakhadyr Khoussainov
  • Frank Stephan
چکیده

We investigate dependence of recursively enumerable graphs on the equality relation given by a specific r.e. equivalence relation on ω. In particular we compare r.e. equivalence relations in terms of graphs they permit to represent. This defines partially ordered sets that depend on classes of graphs under consideration. We investigate some algebraic properties of these partially ordered sets. For instance, we show that some of these partial ordered sets possess atoms, minimal and maximal elements. We also fully describe the isomorphism types of some of these partial orders.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Imprimitive Homogeneous Simple 3 - graphs , part 1

We prove that there is only one imprimitive homogeneous simple unstable 3-graph with finite classes such that all predicates are realised in the union of two classes. 1 Definitions and context. Definition 1.1. An n-graph is a structure (M,R1, . . . , Rn) in which each Ri is binary, irreflexive and symmetric; also, for all distinct x, y ∈ M exactly one of the Ri holds and n ≥ 2. We assume that a...

متن کامل

Reducibilities among equivalence relations induced by recursively enumerable structures

In this paper we investigate the dependence of recursively enumerable structures on the equality relation which is fixed to a specific r.e. equivalence relation. We compare r.e. equivalence relations on the natural numbers with respect to the amount of structures they permit to represent from a given class of structures such as algebras, permutations and linear orders. In particular, we show th...

متن کامل

Complexity of Equivalence Relations and Preorders from Computability Theory

We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations R,S, a componentwise reducibility is defined by R ≤ S ⇐⇒ ∃f ∀x, y [xRy ↔ f(x)Sf(y)]. Here f is taken from a suitable class of effective functions. For us the relations will be on natural numbers, and f must be computable. We show that there is a Π1-comp...

متن کامل

Stacked 4-polytopes with Ball Packable Graphs

After investigating the ball-packability of some small graphs, we give a full characterisation, in terms of forbidden induced subgraphs, for the stacked 4-polytopes whose 1-skeletons can be realised by the tangency relations of a ball packing.

متن کامل

A Transformational Characterization of Markov Equivalence for Directed Maximal Ancestral Graphs

The conditional independence relations present in a data set usually admit multiple causal explanations — typically represented by directed graphs — which are Markov equivalent in that they entail the same conditional independence relations among the observed variables. Markov equivalence between directed acyclic graphs (DAGs) has been characterized in various ways, each of which has been found...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 165  شماره 

صفحات  -

تاریخ انتشار 2014